lookingGlass: Paint the RedBorderEffect right edge the correct height

It was being painted one box thickness (`width`) too tall so you could
see a rendering glitch below the bottom right corner until now.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1876>

diff --git a/js/ui/lookingGlass.js b/js/ui/lookingGlass.js
index e59fa29306f13a71a4bcf5ad068445bfad2206ee..7604ae4a61fe588547aa228892146b19c1f96c04 100644 (file)
--- a/js/ui/lookingGlass.js
+++ b/js/ui/lookingGlass.js
@@ -513,7 +513,7 @@ class RedBorderEffect extends Clutter.Effect {
         pipelineNode.add_rectangle(box);
 
         box.set_origin(alloc.get_width() - width, width);
-        box.set_size(width, alloc.get_height());
+        box.set_size(width, alloc.get_height() - width);
         pipelineNode.add_rectangle(box);
 
         box.set_origin(0, alloc.get_height() - width);